Statistically Sound Verification and Optimization of Black-Box Systems
نویسندگان
چکیده
منابع مشابه
Optimization of Fermentation Time for Iranian Black Tea Production
The optimum fermentation times of black tea manufactured by two systems of Orthodox and CTC (cut, tear & curl) were investigated by measuring the quality parameters of black tea, like: theaflavin, thearubigin, highly polymerized substances and total liquid colour during the fermentation stage. Optimum fermentation times from the beginning of fermentation were determined to be 60 min and 15...
متن کاملStatistically Sound Verification and Optimization for Complex Systems
This paper discusses verification and optimization of complex systems with respect to a set of specifications under stochastic parameter variations. We introduce a simulation-based statistically sound model inference approach that considers systems whose responses depend on a few design parameters and many stochastic parameters. The technique iteratively searches over the space of design parame...
متن کاملLogic Optimization of Designs Containing Black Boxes
We deene a notion of equivalence for designs containing black boxes. Using this notion, we describe a sound and complete methodology for optimizing designs containing black boxes, i.e. components whose functionality is not known; these arise naturally in the course of hierarchical design.
متن کاملProbabilistic Verification for "Black-Box" Systems
We explore the concept of a “black-box” stochastic system, and propose an algorithm for verifying probabilistic properties of such systems based on very weak assumptions regarding system dynamics. Properties are expressed as formulae in a probabilistic temporal logic. Our presentation is a generalization of and an improvement over recent work by Sen et al. on probabilistic verification for “bla...
متن کاملDecompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems
To efficiently solve safety verification and testing problems for an aspect-oriented system, we use multitape automata to model aspects and propose algorithms for the aspect-oriented system specified by a number of primary labeled transition systems (some of them are black-boxes) and aspects. Our algorithms combine automata manipulations over the aspects and primary systems with black-box testi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015